GtkButton: don't propagate double-clicks

It is basically always unexpected to have a container handle
double-clicks on a widget that handles single-clicks itself.

diff --git a/gtk/gtkbutton.c b/gtk/gtkbutton.c
index e3725570c1f4c72d2e31c4a98baf2c95e0d003f8..456db7907bb20265878d158a098b95a997d8b633 100644 (file)
--- a/gtk/gtkbutton.c
+++ b/gtk/gtkbutton.c
@@ -1922,6 +1922,10 @@ gtk_button_button_press (GtkWidget      *widget,
           return GDK_EVENT_STOP;
         }
     }
+  else if (event->type == GDK_2BUTTON_PRESS)
+    {
+      return GDK_EVENT_STOP;
+    }
 
   return GDK_EVENT_PROPAGATE;
 }